<HTML><HEAD><TITLE>Event Handling</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>Event Handling</H1>
Built-ins to handle events and interrupts
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="cancel_after_event-2.html"><STRONG>cancel_after_event(+Event, -CancelledEvents)</STRONG></A></DT>
<DD>Cancel all pending instances of after event Event</DD>
<DT><A HREF="current_after_events-1.html"><STRONG>current_after_events(-Events)</STRONG></A></DT>
<DD>   Check or find currently pending after events.

</DD>
<DT><A HREF="current_error-1.html"><STRONG>current_error(?N)</STRONG></A></DT>
<DD>Succeeds if N unifies with a valid error number.

</DD>
<DT><A HREF="current_interrupt-2.html"><STRONG>current_interrupt(?N, ?IntID)</STRONG></A></DT>
<DD>Succeeds if N unifies with the number and IntID unifies with the mnemonic
name of a valid interrupt.

</DD>
<DT><A HREF="error-2.html"><STRONG>error(+EventId, ?Culprit)</STRONG></A></DT>
<DD>An error or event EventId is raised and the corresponding error handler is executed</DD>
<DT><A HREF="error-3.html"><STRONG>error(++EventId, ?Culprit, +Module)</STRONG></A></DT>
<DD>An error EventId is raised with Culprit and context module Module, and the corresponding error handler is executed</DD>
<DT><A HREF="error_id-2.html"><STRONG>error_id(+N, -Message)</STRONG></A></DT>
<DD>Succeeds if Message unifies with the error message string defined for error
number N.

</DD>
<DT><A HREF="event-1.html"><STRONG>event(+EventId)</STRONG></A></DT>
<DD>The event EventId is raised and the corresponding error handler is
executed.

</DD>
<DT><A HREF="event_after-2.html"><STRONG>event_after(+Event, +Time)</STRONG></A></DT>
<DD>   Set up an event Event which is triggered after Time seconds have
   elapsed.

</DD>
<DT><A HREF="event_after-3.html"><STRONG>event_after(+Event, +Time, -DueTime)</STRONG></A></DT>
<DD>Set up an event Event which is triggered at DueTime, after Time seconds have elapsed</DD>
<DT><A HREF="event_after_every-2.html"><STRONG>event_after_every(+Event, +Time)</STRONG></A></DT>
<DD>   Set up an event Event which is triggered after every Time seconds have
   elapsed.

</DD>
<DT><A HREF="event_create-3.html"><STRONG>event_create(+Goal, ++Options, -EventHandle)</STRONG></A></DT>
<DD>Create an ECLiPSe event from an arbitrary goal.</DD>
<DT><A HREF="event_disable-1.html"><STRONG>event_disable(+EventHandle)</STRONG></A></DT>
<DD>Disable the given event</DD>
<DT><A HREF="event_enable-1.html"><STRONG>event_enable(+EventHandle)</STRONG></A></DT>
<DD>Enable the given event</DD>
<DT><A HREF="event_retrieve-3.html"><STRONG>event_retrieve(+EventHandle, -Goal, -Module)</STRONG></A></DT>
<DD>Given the handle with which an event is associated, retrieve the event goal and module</DD>
<DT><A HREF="events_after-1.html"><STRONG>events_after(++Events)</STRONG></A></DT>
<DD>   Set up a series of after events Events. 

</DD>
<DT><A HREF="events_defer-0.html"><STRONG>events_defer</STRONG></A></DT>
<DD>Defer event handling</DD>
<DT><A HREF="events_nodefer-0.html"><STRONG>events_nodefer</STRONG></A></DT>
<DD>Allow event handling</DD>
<DT><A HREF="get_event_handler-3.html"><STRONG>get_event_handler(+Event, -Predspec, -Module)</STRONG></A></DT>
<DD>Returns the event handler for event/error Event and its home module Module.</DD>
<DT><A HREF="get_interrupt_handler-3.html"><STRONG>get_interrupt_handler(+IntId, -PredSpec, -Module)</STRONG></A></DT>
<DD>Succeeds if PredSpec unifies with the specification of the current handler
for interrupt IntId and Module unifies with its home module.

</DD>
<DT><A HREF="reset_error_handlers-0.html"><STRONG>reset_error_handlers</STRONG></A></DT>
<DD>All error handlers are reset, cancelling any redefinition.

</DD>
<DT><A HREF="reset_event_handler-1.html"><STRONG>reset_event_handler(+EventId)</STRONG></A></DT>
<DD>Resets the handler for the event EventId to its default value</DD>
<DT><A HREF="set_event_handler-2.html"><STRONG>set_event_handler(+EventId, ++PredSpec)</STRONG></A></DT>
<DD>Set an event handler PredSpec for the event EventId.

</DD>
<DT><A HREF="set_interrupt_handler-2.html"><STRONG>set_interrupt_handler(+IntId, ++PredSpec)</STRONG></A></DT>
<DD>Sets an interrupt handler PredSpec for the interrupt IntId</DD>
</DL>
</BLOCKQUOTE>
<HR>Generated from event.eci on 2009-05-27 01:25
</BODY></HTML>
